CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems

CoInDiVinE is a tool for parallel distributed model checking of interactions among components in hierarchical component-based systems. The tool extends the DiVinE framework with a new input language (component-interaction automata) and a property specification logic (CI-LTL). As the language differs from the input language of DiVinE, our tool employs a new state space generation algorithm that also supports partial order reduction. Experiments indicate that the tool has good scaling properties when run in parallel setting.Comment: In Proceedings PDMC 2011, arXiv:1111.006

IEEE 802.11p Network Data Visualisation

Cílem této diplomové práce je navrhnout řešení pro vizualizaci zpráv a událostí dle standardu 802.11p. Mnoho služeb tohoto standardu spadá do komunikace Vehicle to Vehicle (V2V) nebo Vehicle to Infrastructure (V2I). K nim patří např. detekce kolize automobilu, zobrazení světelné signalizace, aktuální dopravní vytížení apod. Pro vizualizaci těchto událostí a zpráv standardu 802.11p byla vytvořena aplikace, která je schopna v reálném čase zobrazovat ze zachycených dat klíčové informace o vozidlech a infrastruktuře a tyto údaje vizualizovat v prostorovém kontextu na mapovém podkladu.The aim of this thesis is to design a solution for the visualization of messages and events according to the 802.11p standard. Many services of this standard fall under Vehicle to Vehicle (V2V) or Vehicle to Infrastructure (V2I) communication. These include car collision detection, traffic light display, current traffic load, etc. To visualize these 802.11p events and messages, an application has been developed that is capable of displaying key vehicle and infrastructure information from captured data in real time and visualizing this data in a spatial context on a map.460 - Katedra informatikyvýborn

Use of Information Technology, Artificial Intelligence and Machine Learning for the Operation of Modern Buildings

Cílem této bakalářské práce je navrhnout řešení monitoringu moderních budov pro jejich možné řízení využívající informační technologie, umělou inteligenci a strojové učení. Realizace bude provedena po technické i programové části. Teoretická část se bude věnovat aktuálním možnostem pro řízení budov a monitorování provozu. V praktické části bude vytvořen ucelený systém pro monitoring a provoz v domě s důrazem na záznam teploty, vlhkosti, tlaku a jejich vizualizaci na vlastním domácím web serveru.The aim of this bachelor thesis is to design a monitoring solution for modern buildings for their possible management using information technology, artificial intelligence and machine learning. The implementation will be done technically and programmatically. The theoretical part will focus on current possibilities for building management and their monitoring. In the practical part a~comprehensive system will be created for monitoring and operation in the house with an emphasis on recording temperature, humidity, pressure and their visualization on my home web server.460 - Katedra informatikyvelmi dobř

Určování přesného času při astronomickém určovacím měření a při hloubkovém měření pomocí kývající olovnice

PrezenčníNeuvedenoNeuveden

Project of small water reservoir in the cadastral area of Milín.

This thesis deals with the design of a small water reservoir in the cadastral territory of local town Milin. The proposed reservoir will be multifunctional and its main purpose will be landscaping features. In addition, the reservoir will support biodiversity and will increase water supplies in the given area. The reservoir is designed as a flow through and is inserted into the stream of the nameless brook. This brook is right tributary of the pond Kotalík. Basic parameters of the reservoir and other functional objects are designed, where all these have been verified by hydro-technical calculations. The project includes covering report, technical report and drawings